SLn ( Z [ t ] ) is not FPn − 1
نویسندگان
چکیده
We prove the result from the title using the geometry of Euclidean buildings.
منابع مشابه
On Presentations of Integer Polynomial Points of Simple Groups over Number Fields
0.1. Related results. Krstić-McCool proved that GL3(A) is not finitely presented if there is an epimorphism from A to F [t] for some field F [Krs-Mc]. Suslin proved that SLn(A[t1, . . . , tk]) is generated by elemetary matrices if n ≥ 3, A is a regular ring, and K1(A) ∼= A× [Su]. GrunewaldMennicke-Vaserstein proved that Sp2n(A[t1, . . . , tk]) is generated by elementary matrices if n ≥ 2 and A ...
متن کاملRELATIVE COMPLETIONS OF LINEAR GROUPS OVER Z [ t ] AND Z [ t , t − 1 ]
We compute the completion of the groups SLn(Z[t]) and SLn(Z[t, t ]) relative to the obvious homomorphisms to SLn(Q); this is a generalization of the classical Malcev completion. We also make partial computations of the rational second cohomology of these groups. The Malcev (or Q-) completion of a group Γ is a prounipotent group P defined over Q together with a homomorphism φ : Γ → P satisfying ...
متن کاملThe Spine Which Was No Spine
Let Tn be the Teichmüller space of flat metrics on the n-dimensional torus T and identify SLn Z with the corresponding mapping class group. We prove that the subset Y consisting of those points at which the systoles generate π1(T) is, for n ≥ 5, not contractible. In particular, Y is not a SLn Z-equivariant deformation retract of Tn. For n ≥ 2 let Tn be the Teichmüller space of flat metrics with...
متن کاملDiameters of Cayley Graphs
We show that for integers k ≥ 2 and n ≥ 3, the diameter of the Cayley graph of SLn(Z/kZ) associated to a standard two-element generating set, is at most a constant times n 2 ln k. This answers a question of A. Lubotzky concerning SLn(Fp) and is unexpected because these Cayley graphs do not form an expander family. Our proof amounts to a quick algorithm for finding short words representing eleme...
متن کاملRepresentations of Braid Groups via Conjugation Actions on Congruence Subgroups
where α and β are nonzero complex numbers. If α, β lie in some subfield F of C, then the representations are defined over F (in fact, over Z[α±1, β±1]). The starting point for ρn(α) is the reduced Burau representation βn : Bn → GLn−1(Z[t, t −1]). For each i ≥ 1, set K(α) = {A ∈ SLn−1(C[t, t ]) : A ≡ I mod (t− α)}. The sequence {K(α)}i≥1 is a central series inK(α) = K 1(α) (i.e., Ki+j(α) ⊇ [K(α)...
متن کامل